Buy Used and New Bernhard Steffen Books

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues)

by

ISBN 13: 9783540489283

Format: Paperback (203 pages)
Publisher: Springer
Published: 03 Nov 2006

Save for later

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, ... in Computer and Information Science)

by

ISBN 13: 9783540884781

Format: Paperback (708 pages)
Publisher: Springer
Published: 14 Oct 2008

Save for later

Correct System Design: Recent Insights and Advances: 1710 (Lecture Notes in Computer Science)

by Bernhard Steffen,Ernst-R??diger Olderog

ISBN 13: 9783540666240

Format: Paperback (436 pages)
Publisher: Springer
Published: 22 Sep 1999

Save for later

Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers: 1385 (Lecture Notes in Computer Science)

by Bernhard Steffen,Roland R¿¿ckert,Tiziana Margaria,Joachim Posegga

ISBN 13: 9783540643678

Format: Paperback (344 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... 1055 (Lecture Notes in Computer Science)

by Bernhard Steffen,Tiziana Margaria

ISBN 13: 9783540610427

Format: Paperback (456 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Grundlagen der höheren Informatik: Induktives Vorgehen (eXamen.press)

by Bernhard Steffen,Oliver Rüthing,Malte Isberner

ISBN 13: 9783642401459

Format: Hardcover (208 pages)
Publisher: Springer
Published: 30 Oct 2013

Save for later

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... 10139 (Lecture Notes in Computer Science)

by Bernhard Steffen,Christel Baier,Mark van den Brand,Johann Eder,Mike Hinchey,Tiziana Margaria

ISBN 13: 9783319519623

Format: Paperback (544 pages)
Publisher: Springer
Published: 04 Feb 2017

Save for later

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings: ... 2937 (Lecture Notes in Computer Science)

by Bernhard Steffen,Giorgio Levi

ISBN 13: 9783540208037

Format: Paperback (342 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... II: 8803 (Lecture Notes in Computer Science)

by Tiziana Margaria,Bernhard Steffen

ISBN 13: 9783662452301

Format: Paperback (664 pages)
Publisher: Springer
Published: 07 Oct 2014

Save for later

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... I: 8802 (Lecture Notes in Computer Science)

by Tiziana Margaria,Bernhard Steffen

ISBN 13: 9783662452332

Format: Paperback (568 pages)
Publisher: Springer
Published: 07 Oct 2014

Save for later

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches

by Bernhard Steffen,Oliver Rüthing,Michael Huth

ISBN 13: 9783319683966

Format: Hardcover (258 pages)
Publisher: Springer
Published: 03 Apr 2018

Save for later

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... IV: 11247 (Lecture Notes in Computer Science)

by Tiziana Margaria,Bernhard Steffen

ISBN 13: 9783030034269

Format: Paperback (544 pages)
Publisher: Springer
Published: 18 Dec 2018

Save for later